-
1 automated reasoning
-
2 automated reasoning
Англо-русский словарь компьютерных и интернет терминов > automated reasoning
-
3 automated reasoning
English-Russian dictionary of terms that are used in computer games > automated reasoning
-
4 automated reasoning
English-Russian big medical dictionary > automated reasoning
-
5 automated reasoning
English-Russian big polytechnic dictionary > automated reasoning
-
6 automated reasoning
English-Russian dictionary of Information technology > automated reasoning
-
7 ARTIM
1) Компьютерная техника: АФЛВ (автоматизация формулирования логических выводов)2) Сокращение: Automated Reasoning Tool for Information Management -
8 automated reasoning
1) Общая лексика: машинный (автоматизированный) поиск логического выво (в ИИ - одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом))2) Вычислительная техника: автоматизация формулирования логических выводов -
9 bottom-up reasoning
Перевод: с английского на все языки
со всех языков на английский- Со всех языков на:
- Английский
- С английского на:
- Русский